A rewriting framework and logic for activities subject to regulations

M A X K A N O V I C H , T A J A N A B A N K I R I G I N , V I V E K N I G A M , A N D R E S C E D R O V , C A R O L Y N T A L C O T T 7 and R A N K O P E R O V I C 8 † 1 University College London, UCL-CS, UK, Email: [email protected] 2 Queen Mary, University of London, UK, Email: [email protected] 3 University of Rijeka, HR, Email: [email protected] 4 Federal University of Paraı́ba, Brazil, Email: [email protected] 5 University of Pennsylvania, USA, Email: [email protected] 6 National Research University Higher School of Economics, Moscow, Russia 7 SRI International, USA. E-mail: [email protected] 8 Clinical Research Manager, USA. Email: [email protected]